We study logical systems for reasoning about equations involving recursive definitions. In particular, we are interested in "propositional" fragments of the functional language of recursion FLR [18, 17], i.e., without the value passing or abstraction allowed in FLR. The "pure," propositional fragment FLR 0 turns out to coincide with the iteration theories of [1]. Our main focus here concerns the sharp contrast between the simple class of valid identities and the very complex consequence relation over several natural classes of models.

Background Continued advances in human microbiome research and technologies raise a number of ethical, legal, and social challenges. These challenges are associated not only with the conduct of the research, but also with broader implications, such as the production and distribution of commercial products promising maintenance or restoration of good physical health and disease prevention. In this article, we document several ethical, legal, and social challenges associated with the commercialization of human microbiome research, focusing particularly on how this research is (...) mobilized within economic markets for new public health uses. Methods We conducted in-depth, semi-structured interviews (2009–2010) with 63 scientists, researchers, and National Institutes of Health project leaders (“investigators”) involved with human microbiome research. Interviews explored a range of ethical, legal, and social dimensions of human microbiome research, including investigators’ perspectives on commercialization. Using thematic content analysis, we identified and analyzed emergent themes and patterns. Results Investigators discussed the commercialization of human microbiome research in terms of (1) commercialization, probiotics, and issues of safety, (2) public awareness of the benefits and risks of dietary supplements, and (3) regulation. Conclusion The prevailing theme of ethical, legal, social concern focused on the need to find a balance between the marketplace, scientific research, and the public’s health. The themes we identified are intended to serve as points for discussions about the relationship between scientific research and the manufacture and distribution of over-the-counter dietary supplements in the United States. (shrink)

Background Investigative genetic genealogy (IGG) is a technique that involves uploading genotypes developed from perpetrator DNA left at a crime scene, or DNA from unidentified remains, to public genetic genealogy databases to identify genetic relatives and, through the creation of a family tree, the individual who was the source of the DNA. As policymakers demonstrate interest in regulating IGG, it is important to understand public perspectives on IGG to determine whether proposed policies are aligned with public attitudes.Methods We conducted eight (...) focus groups with members of the public (N = 72), sampled from four geographically diverse US regions, to explore general attitudes and perspectives regarding aspects of IGG practices, applications, and policies. Five major topics were explored in each focus group: when IGG should be used; who should perform IGG; how to approach consent for genetic database users; what systems of oversight should govern IGG practitioners; and whether to notify database users if their data are involved in law enforcement (LE) matching.Results Participants were supportive of IGG in most scenarios, especially for cold and violent cases. The favorable attitudes toward IGG were, however, tempered by distrust of law enforcement among some participants. All participants agreed that databases must inform users if IGG is allowed, but they did not agree on how individual database users should be allowed to opt out or whether to notify them if their data are involved in specific investigations. All participants agreed that IGG should be subject to some prescriptive guidelines, regulations, or accountability mechanisms.Conclusions These findings suggest broad public support for IGG, and interest in developing systems of accountability for its practice. Our study provides useful insight for policy makers, genomic database stewards, law enforcement, and other stakeholders in IGG’s practice, and suggests multiple directions for future research. (shrink)

What resources does Merleau-Ponty’s account of the body schema offer to the Fanonian one? First I show that Merleau-Ponty’s theory of the body schema is already a theory of affect: one that does not oppose affects to intentionality, positioning them not only as sense but as force, cultivating affective agencies rather than constituting static sense content. Then I argue that by foregrounding the role of affect in both thinkers, we can understand the way in which the historical-racial schema innovates, anticipating (...) and influencing feminist theories of the affective turn – especially Sara Ahmed’s theory of affective economies. The historical-racial schema posits the constitution of affective agencies on a sociogenic scale, and these affective economies in turn account for the possibility of the collapse of the body schema into a racial epidermal schema, a disjunction of affective intentionality Fanon calls “affective tetanization.” Quelles ressources l’analyse du schéma corporel faite par Merleau-Ponty fournit-elle au schéma historico-racial proposé par Fanon? En premier lieu, je vise à montrer que la théorie du schéma corporel de Merleau-Ponty est déjà une théorie de l’affect : une théorie qui n’oppose pas les affects à l’intentionnalité, qui ne les considère pas seulement comme un sens, mais comme une force, en cultivant des agentivités affectives plutôt qu’en constituant des contenus de sens statiques. Ensuite, j’affirmerai qu’en mettant en premier plan le rôle de l’affect chez ces deux penseurs, nous pouvons comprendre les innovations qu’apporte le schéma historico-racial, en anticipant et en influençant les théories féministes du tournant affectif – surtout la théorie de Sara Ahmed au sujet des économies affectives. Le schéma historico-racial établit la constitution d’agentivités affectives sur une échelle sociogénique, et ces économies affectives expliquent à leur tour la possibilité d’une dégradation du schéma corporel en schéma épidermique racial, une disjonction de l’intentionnalité affective que Fanon appelle « tétanisation affective ».Quali risorse può offrire la nozione merleau-pontiana di schema corporeo a quella di Fanon? In primo luogo, mi propongo di mostrare che la teoria dello schema corporeo elaborata da Merleau-Ponty è allo stesso tempo una teoria dell’affetto: una teoria che non oppone la dimensione degli affetti all’intenzionalità, poiché li considera non solo come senso ma come forze, in quanto implicano delle agentività affettive piuttosto che costituire meri contenuti statici di senso. Intendo quindi sostenere che mettendo in evidenza il ruolo dell’affetto in questi due autori sia possibile comprendere il portato innovativo dello schema storico-razziale, che anticipa e influenza le teorie femministe legate all’affective turn – e in particolare la teoria delle economie affettive elaborata da Sara Ahmed. Lo schema storico-razziale afferma la costituzione di agentività affettive a un livello sociogenetico, mentre le economie affettive rendono conto della possibilità del collasso dello schema corporeo in uno schema razziale epidermico, una disgiunzione dell’intenzionalità affettiva che Fanon definisce “tetanizzazione affettiva”. (shrink)

Next SectionBackground: Publication bias and discrimination are increasingly recognised in medicine. A survey was conducted to determine if medical journals were more likely to publish research reports from members of their own than a rival journal’s editorial board. Methods: A retrospective review was conducted of all research reports published in 2006 in the four competing medical journals within five medical specialties. Only three journals were willing to divulge the authorship of reports that had been rejected. Results: Overall, 4460 research reports (...) were published in 2006 by the 20 journals from five subspecialties (mean 223 (SD = 164) reports per journal; median 176; interquartile range 108–238). On average, 17.2 (7.7%) reports were from a journal’s own editorial board (SD = 10.7; median 15; interquartile range 10–23; n = 20), and 6.3 (2.8%) reports were from a member of the editorial board of one of the three rival journals within the specialty (SD = 7.3; median 3.5; interquartile range 1–8; n = 60). There was a statistically significant excess of publications from the journal’s own editorial board in 14 of the 20 journals (p<0.05). Journals were almost three times more likely to publish reports from their own editorial board than from one of the three rivals within their subspecialty (p<0.0001; median difference 11; Mann–Whitney U test; power for 5% significance >99.99%). Conclusions: There was a significant excess of publications from medical journals’ own editorial boards, although it is not possible to determine whether this is due to bias in the peer review process or selective submission by editors. (shrink)

All recent memory theories of hippocampal function have incorporated the idea that the hippocampus is required to process items only of some qualitatively specifiahle kind, and is not required to process items of some complementary set. In contrast, it is now proposed that the hippocampus is needed to process stimuli of all kinds, but only when there is a need to associate those stimuli with other events that are temporally discontiguous. In order to form or use temporally discontiguous associations, it (...) is essential to maintain some memory of the first component until the second component has occurred. When the temporal gap to he spanned is small, and the number of items to be temporarily retained is low, a limited-capacity, short-term store is sufficient to allow associations to be formed. Such a store is presumed to operate in parallel with the hippocampus in normal animals. Hippocampal damage disrupts a much higher-capacity store that has a slower decay rate, and so leaves animals with only a very limited ability to form temporally discontiguous associations. Hippocampal damage, however, is not held to affect the long-term storage of associations of any kind, if they can be formed. Analyses of both new and existing data are presented to show that by classifying tasks in terms of the need to use a temporary memory store to retain temporally discontiguous information one can cut right across existing classifications as well as achieve a better fit to the data. The hippocampus thus seems best described as a high-capacity, intermediate-term memory store. (shrink)

As a graduate student it was with great pleasure that I learned that John Watkins had decided to thank me publicly for helping him with a paper on Kuhn’s view.1 The help, such as I could give, was in Popper’s seminar, twenty-five years ago. Watkins himself, and several others, contributed much more to the seminar than I did. (The seminar was run on the principle — to repeat J.O. Wisdom’s quip — “thou shalt not speak whilst I interrupt”). Watkins was (...) not just kind but generous in thanking me and I appreciated it very much then, as a mere graduate student. But over the years, I find that I appreciate it even more, especially as I compare it with practice common among philosophers. It is ironic that by the time Watkins’ paper appeared (something resembling his view had by then already become the official reading of Kuhn’s views among philosophers of science) my own views about Kuhn’s book had changed. (shrink)

The degrees of formality into which speech can be graded are in no sphere more obvious than in expressions of address and third-person reference. Methods of naming vary according to many factors: the formality of the circumstances in which naming takes place, the nature of the subject under discussion, and the ages, sex, and relative status of the speaker and addressee. Conventions of naming sometimes reflect the rigidity or otherwise of social divisions. In some societies or circles address between superior (...) and subordinate is non-reciprocal: the speaker with the greater prestige will adopt one form of address, the subordinate another. In other societies when unequals address each other both may use the same formal method of address: the difference of prestige is not explicitly acknowledged. (shrink)

The degrees of formality into which speech can be graded are in no sphere more obvious than in expressions of address and third-person reference. Methods of naming vary according to many factors: the formality of the circumstances in which naming takes place, the nature of the subject under discussion, and the ages, sex, and relative status of the speaker and addressee. Conventions of naming sometimes reflect the rigidity or otherwise of social divisions. In some societies or circles address between superior (...) and subordinate is non-reciprocal: the speaker with the greater prestige will adopt one form of address, the subordinate another. In other societies when unequals address each other both may use the same formal method of address: the difference of prestige is not explicitly acknowledged. (shrink)

It is claimed that cantor had the technical apparatus available to derive russell's paradox some ten years before russell's discovery.

International array of contributors, bringing together both traditional and more recent approaches to provide valuable insights into the poets’ use of language.Covers authors from Lucilius to Juvenal.Of the peoples of ancient Italy, only the Romans committed newly composed poems to writing, and for 250 years Latin-speakers developed an impressive verse literature.The language had traditional resources of high style, e.g., alliteration, lexical and morphological archaism or grecism, and of course metaphor and word order; and there were also less obvious resources in (...) the technical vocabularies of law, philosophy and medicine.The essays in this volume show how the poets in the classical period combined these elements, and so created a poetic medium that could comprehend satire, invective, erotic elegy, drama, lyric, and the grandest heroic epos. (shrink)

The text of the fourth-century veterinary writer Pelagonius, recently edited for the first time this century and greatly improved by K.-D. Fischer, poses many problems for an editor. The Latinity of Pelagonius himself in the epistles which precede various chapters is awkward and difficult to understand. Much of the rest of the work is a compilation, not all of it Pelagonius' own work, based on a variety of sources from the magical to the scientific. The work survives largely in a (...) single manuscript, codex Riccardianus 1179, a. 1485 . In this paper I pass over intractable questions of spelling and concentrate on more substantial problems of text and interpretation, some of which concern punctuation. (shrink)

It would be a mistake to attempt to identify in modern terms the disease of Galerius described so graphically by Lactantius, Mort. 33. Consumption by lice or worms, if not genital ‘gangrene’, was a typical end for a tyrant or the impious, and there must be an element of literary exaggeration in Lactantius' account. But whatever one makes of the nature of the illness, Lactantius did set out to give the passage a scientific plausibility by his use of technical medical (...) phraseology, and by an allusion to a medical theory at 33.7. Recognition of this theory allows one to settle the text at one point, where editors have failed to agree. There is also a second place in the chapter where familiarity with medical Latin points one towards the solution of a textual problem. (shrink)

It is well known that mitto comes to mean ‘put’ in late Latin and that it shows reflexes with this sense in the Romance languages. But the nature of this semantic change has not been fully explained, nor has the relationship of the word with other placing-terms in Latin. E. Löfstedt has stated simply that it ‘takes over the meaning ot ponere’.2 But as pono itself remains common in all types of Latin, the question arises whether the two words did (...) really come into conflict. It is the purpose of the first two sections of this article to show that for a considerable period pono and mitto occupied complementary places in a lexical system. This system exhibits a definite structure which remains unaltered from early Latin to at least the sixth century A.D., though its component terms undergo some changes. In section I pono and the words which in earlier Latin performed the functions later assumed by mitto will be discussed. In section I I we shall move on to mitto itself. It will be necessary to consider the nature and motivation of the transition ‘throwput’ as it appears in Latin. (shrink)

The text of the fourth-century veterinary writer Pelagonius, recently edited for the first time this century and greatly improved by K.-D. Fischer, poses many problems for an editor. The Latinity of Pelagonius himself in the epistles which precede various chapters is awkward and difficult to understand. Much of the rest of the work is a compilation, not all of it Pelagonius' own work, based on a variety of sources from the magical to the scientific. The work survives largely in a (...) single manuscript, codex Riccardianus 1179, a. 1485. In this paper I pass over intractable questions of spelling and concentrate on more substantial problems of text and interpretation, some of which concern punctuation. (shrink)

The Ars Veterinaria of the fourth-century writer Pelagonius has hitherto been known only from the MS. Florence, Bibl. Riccardiana 1179 , a codex copied in 1485 for Politian from an early manuscript. Apart from this there have only been some palimpsest fragments from Bobbio.

TheArs Veterinariaof the fourth-century writer Pelagonius has hitherto been known only from the MS.Florence, Bibl. Riccardiana1179 (R), a codex copied in 1485 for Politian from an early (lost) manuscript. Apart from this there have only been some palimpsest fragments from Bobbio.

Although the biographies known collectively as the Historia Augusta purport to have been written by six different biographers, it has often been thought that their similarities are so numerous that they must be the work of a single author. In this article I shall deal with a piece of linguistic evidence which supports this view. The two scholars who have treated the language of the H.A. in most detail, E. Wölfnin and E. Klebs, attempted to show that certain linguistic features (...) which are not spread evenly among the Scriptores point to multiplicity of authorship. (shrink)

Although the biographies known collectively as theHistoria Augustapurport to have been written by six different biographers, it has often been thought that their similarities are so numerous that they must be the work of a single author. In this article I shall deal with a piece of linguistic evidence which supports this view.The two scholars who have treated the language of theH.A.in most detail, E. Wölfnin and E. Klebs, attempted to show that certain linguistic features which are not spread evenly (...) among the Scriptores point to multiplicity of authorship. (shrink)

It is well known that mitto comes to mean ‘put’ in late Latin and that it shows reflexes with this sense in the Romance languages . But the nature of this semantic change has not been fully explained, nor has the relationship of the word with other placing-terms in Latin. E. Löfstedt has stated simply that it ‘takes over the meaning ot ponere’.2 But as pono itself remains common in all types of Latin, the question arises whether the two words (...) did really come into conflict. It is the purpose of the first two sections of this article to show that for a considerable period pono and mitto occupied complementary places in a lexical system. This system exhibits a definite structure which remains unaltered from early Latin to at least the sixth century A.D., though its component terms undergo some changes. In section I pono and the words which in earlier Latin performed the functions later assumed by mitto will be discussed. In section I I we shall move on to mitto itself. It will be necessary to consider the nature and motivation of the transition ‘throwput’ as it appears in Latin. (shrink)

The demonstration by E. Wölfflin that between the Histories and Annals Tacitus progressed towards a more archaic and artificial style is well known. From the outset Tacitus adhered to the traditional Roman view that history should be composed in an archaic language remote from everyday usage ; but he was apparently at first not fully aware of the possibilities of the archaizing style. New archaisms and artificial usages suggested themselves as he advanced ; and others, which he had used sporadically (...) even early in the Histories, were allowed to oust ordinary alternatives completely. (shrink)

The demonstration by E. Wölfflin that between the Histories and Annals Tacitus progressed towards a more archaic and artificial style is well known. From the outset Tacitus adhered to the traditional Roman view that history should be composed in an archaic language remote from everyday usage ; but he was apparently at first not fully aware of the possibilities of the archaizing style. New archaisms and artificial usages suggested themselves as he advanced ; and others, which he had used sporadically (...) even early in the Histories, were allowed to oust ordinary alternatives completely. (shrink)

First published in 2002. Routledge is an imprint of Taylor & Francis, an informa company.